void init_debug(void);
void fatal(const char*);
void popup(const char*, ...);
